Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·15h·
Discuss: Hacker News
🎯Interactive Provers
A Beginner’s Guide to Prompt Engineering: Making GPT Models Do What You Want
dev.to·11h·
Discuss: DEV
🎙️Whisper
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Show HN: Potions – A simple way to save, version, and share AI prompts
potions.io·22h·
Discuss: Hacker News
⚡Proof Automation
Students, here are 5 key things to know when learning how to train large language models
techradar.com·19h
💻Local LLMs
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
A PhD's Apology
cappadokes.github.io·6m·
Discuss: Hacker News
🧮Theoretical Computer Science
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·21h
📜Proof Carrying Code
Cactus Language • Stylistics 4
inquiryintoinquiry.com·21h
🌳Context free grammars
Show & Tell July 2025: AI Therapist, AI Clone, Wargames for Peace
blog.ncase.me·1d
⚡Proof Automation
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·4h·
Discuss: Hacker News
🔄Language Evolution
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.com·8h
🧠Lisp Dialects
Proof by Intimidation
en.wikipedia.org·4h·
Discuss: Hacker News
🎯Proof Tactics
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·5h·
Discuss: Hacker News
🌀Brotli Internals
Asymmetry of Verification and Verifier's Law
jasonwei.net·11h·
Discuss: Hacker News
🔮Proof Search
The Future of AI Agent Communication with ACP
towardsdatascience.com·20h
🔌Interface Evolution
Janet Feature Demos
github.com·6h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects